Definition f := 2.
